Towards a foundation of completion procedures as semidecision procedures
نویسندگان
چکیده
منابع مشابه
Towards a Foundation of Completion Procedures as Semidecision Procedures
Completion procedures, originated from the seminal work of Knuth and Bendix, are wellknown as procedures for generating confluent rewrite systems, i.e. decision procedures for equational theories. In this paper we present a new abstract framework for the utilization of completion procedures as semidecision procedures for theorem proving. The key idea in our approach is that a semidecision proce...
متن کاملCompletion Procedures as Semidecision Procedures
In this paper we give a new abstract framework for the study of Knuth-Bendix type completion procedures, which are regarded as semidecision procedures for theorem proving. First, we extend the classical proof ordering approach started in [6] in such a way that proofs of different theorems can also be compared. This is necessary for the application of proof orderings to theorem proving derivatio...
متن کاملSynthetic Procedures Leading towards Aminobisphosphonates.
Growing interest in the biological activity of aminobisphosphonates has stimulated the development of methods for their synthesis. Although several general procedures were previously elaborated to reach this goal, aminobisphosphonate chemistry is still developing quite substantially. Thus, innovative modifications of the existing commonly used reactions, as well as development of new procedures...
متن کاملOn Optimal Heuristic Randomized Semidecision Procedures, with Application to Proof Complexity
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj́ıček and Pudlák [KP89] show that this question is equivalent to the existence of an algorithm that is optimal on all propositional tautologies. Monroe [Mon09] recently gave a conjecture implying that such algorithm does not exist. W...
متن کاملRisk Assessment of Surgical Procedures in a Referral Hospital
Background: Adverse Events (AEs) due to failure in healthcare procedures are common. These procedures are often evaluated independently. The objectives of this study are to investigate the nature of the failures in healthcare procedures of the surgical patients, assessing the frequency of these failures and preventability, and exploring their consequences, underlying causes, and prevention stra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1995
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)00187-n